sqrt(x^2-1)